Trefferliste "Symbolic Execution" - alle Bücher

Ihre Suche nach "Symbolic Execution" (Bücher) ergab 2 Treffer.

Model Checking Software

Lecture Notes in Computer Science - Band 15945

This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7--8, 2025.The 9 full papers included in …

lieferbar ab 8.11.2025.

Buch

EUR 63,51* Aktueller Preis: EUR 63,51

Artikel merken

In den Warenkorb

Menge ändern

Rolf Drechsler, Pascal Pieper

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes

This book deals with formal and practical approaches for early fast modeling and verification of complex digital processor hardware and software using SystemC-based virtual prototypes. As a special focus,…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 131,42* Aktueller Preis: EUR 131,42

Artikel merken

In den Warenkorb

Menge ändern